Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
931	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
932	Computing k-th Lyndon Word and Decoding Lexicographically Minimal de Bruijn Sequence Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter University of Warsaw Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2014-06-14 17:58:40 Combinatorics on words Enumerative combinatorics Lyndon word De Bruijn sequence Sequence De Bruijn Combinatorics Mathematics Discrete mathematics
933	MCQMC’08 Eighth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing July 6-11, 2008 — Montréal, Canada Add to Reading List Source URL: www.crm.math.ca Language: English - Date: 2008-03-10 11:28:48 Quasi-Monte Carlo method Jun Liu Schmid Monte Carlo method Probability and statistics Mathematics Applied mathematics
934	Asynchronous Knowledge with Hidden Actions in the Situation Calculus Ryan F. Kelly, Adrian R. Pearce1,∗ Department of Computing and Information Systems The University of Melbourne Victoria, 3010, Australia Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-01-05 02:35:40 Logic programming Knowledge representation Predicate logic Logic in computer science Situation calculus Model theory Frame problem Fluent Function Mathematical logic Logic Mathematics
935	JMLR: Workshop and Conference ProceedingsWorkshop on Machine Learning for Social Computing Dynamic NMFs with Temporal Regularization for Online Analysis of Streaming Text Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-06-02 14:30:57 Linear algebra Matrix theory Operations research Numerical linear algebra Topic model Dynamic topic model Latent Dirichlet allocation Mathematical optimization Non-negative matrix factorization Algebra Mathematics Statistical natural language processing
936	Feature Restoration and Distortion Metrics Ventsislav K. Chonev and Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England. ABSTRACT Our work focuses on Feature Restoration (FR), a tech Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-12-12 17:23:39 Multivariate statistics Steganography Mahalanobis distance Bounded-error probabilistic polynomial Distortion Distance Steganalysis Time complexity Theoretical computer science Statistics Applied mathematics
937	Efficient Algorithms for Regular Expression Constrained Sequence Alignment Yun-Sheng Chung† , Chin Lung Lu¶ , and Chuan Yi Tang† † Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2006-07-07 08:54:34 Linguistics Mathematics Computing Formal languages Character encoding String
938	Outline Introduction and biological background Definitions and examples Computing the reversal distance Summary and outlook Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2004-07-02 18:11:00 Permutation Interval Mathematics Combinatorics Abstract algebra
939	Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:46:26 Formal languages Mathematical logic Interpretation Philosophy of language Philosophy of mind Semantics Action description language Function Mathematics Logic Model theory
940	University of Warsaw Faculty of Mathematics, Computer Science and Mechanics VU University Amsterdam Faculty of Sciences Add to Reading List Source URL: nlnetlabs.nl Language: English - Date: 2009-06-27 06:06:52 Routing protocols Internet standards Internet protocols Computer networking Border Gateway Protocol Routing Router Convergence Route Views Network architecture Internet Computing